Buy Used and New Michael M. Richter Books

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory: 1104 (Lecture Notes in Mathematics)

by Michael M. Richter,Egon Börger,Brigitta Schinzel,Walter Oberschelp,Wolfgang Thomas

ISBN 13: 9783540139010

Format: Paperback (488 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later

CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings: 440 (Lecture Notes in Computer Science)

by Hans Kleine B??ning,Egon B??rger,Michael M. Richter

ISBN 13: 9783540527534

Format: Paperback (452 pages)
Publisher: Springer
Published: 10 Jul 1990

Save for later

Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 533 (Lecture Notes in Computer Science)

by Hans Kleine B??ning,Wolfgang Sch??nfeld,Egon B??rger,Michael M. Richter

ISBN 13: 9783540544876

Format: Paperback (412 pages)
Publisher: Springer
Published: 11 Sep 1991

Save for later

CSL'88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988. Proceedings: 385 (Lecture Notes in Computer Science)

by Hans Kleine B??ning,Egon B??rger,Michael M. Richter

ISBN 13: 9783540516590

Format: Paperback (412 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science)

by Gerhard J??ger,Hans Kleine B??ning,Egon B??rger,Michael M. Richter

ISBN 13: 9783540557890

Format: Paperback (440 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings: 329 (Lecture Notes in Computer Science)

by Hans Kleine B??ning,Egon B??rger,Michael M. Richter

ISBN 13: 9783540502418

Format: Paperback (356 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later